∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

What is Algebraic about Algebraic Effects?
interjectedfuture.com·11h
💫Effect Systems
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
πPi Calculus
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·18h
🪢Rope Data Structures
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🧮Theorem Provers
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·13h
📝Editor Buffers
Linkage
11011110.github.io·10h
🧮Combinator Calculus
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·3d·
Discuss: Lobsters, Hacker News
∫Mathematical DSLs
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
20+ Beautiful Dover Publications Vintage Math Textbook Covers
abakcus.com·23h
📐Mathematical Computing
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·23h
🧠Semantic Parsing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·8h·
Discuss: Hacker News
🔗Lexical Scoping
Simple-looking math problem divides people as they struggle to solve sum - can you remember the 'golden rule'?
dailymail.co.uk·1d
📐Mathematical Computing
Folks, we have the best π
lcamtuf.substack.com·20h·
Discuss: Substack
🧮Combinator Calculus
Systematic fraud uncovered in mathematics publications
phys.org·10h
📐Mathematical Computing
Balance between refactoring and inheritance in your code
github.com·15h·
Discuss: Hacker News
🧪Compiler Testing
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·14h·
Discuss: Hacker News
🌱Minimal Lisps
Reflections on GRC CADD 2025: A Week of Insight, Innovation, and Baseball
blopig.com·7h
✨Effect Inference
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·1d·
Discuss: Hacker News
λLambda Calculus